Handling Locally Names of Mobile Agents

We address the problem of handling names in distributed systems made of mobile processes. We equip processes with local environments. Our SOS operational semantics handles these environments so that captures of names are never possible. Essentially, our semantics includes the speciication of a distributed name manager that conservatively extends standard operational semantics. Also it simpliies the speciication of local as well as global garbage collectors. Bisimulation-based equivalences can be checked on our transition systems, yielding the same equivalence relations based on standard interleav-ing semantics. Finally, we show that our development scales up smoothly to higher-order calculi.